\documentclass[pdftex]{llncs}

\usepackage{geometry}
\usepackage{url}
\usepackage{graphicx}
\usepackage{times}
\usepackage{url}
\usepackage[tight,TABTOPCAP]{subfigure}
\usepackage{amsmath,mathtools}
\usepackage{comment}
\usepackage{balance}
\usepackage{multirow}
%\usepackage{minipage}
\usepackage{clrscode}

\newcommand{\set}[1]{\{#1\}}
\newcommand{\mathsc}[1]{\text{\textsc{#1}}}
\newcommand{\tpjudge}[3]{#1\ \vdash #2:#3}
\newcommand{\conjudge}[3]{#1\ \vdash #2:#3}
\newcommand{\conjudgestd}[3]{#1\ \vdash^* #2:#3}
\newcommand{\flowsto}[0]{\leadsto}
\newcommand{\dom}[1]{\mathrm{dom}(#1)}
\newcommand{\cd}[1]{\texttt{#1}}
\newcommand{\hsm}{HSM~}
\newcommand{\smallspace}[0]{\vspace{0.1in}}
\newcommand{\para}[1]{\vspace{.5 em} \noindent {\bf #1.}}

\newtheorem{thm}{Theorem}[enumi]
\newtheorem{dfn}[thm]{Definition}
\newtheorem{exa}{Example}[section]

\pagenumbering{arabic}

\begin{document}

% Change to \includecomment for publication.

\includecomment{anon}
%\excludecomment{anon}

\date{}

\title{Supporting Meaningful Trust Labels in Linux}

\author{{Xinyang Ge \and Aliye Malak \and Caleb Severn \and Yibo Wu}\\
\email{\scriptsize{\{xxg113,azm173,cjs1163,yxw185\}@cse.psu.edu}}}
\institute{Pennsylvania State University}

\maketitle

\input{abstract}
\input{introduction}
\input{background}
\input{related}
\input{design}
%\input{implementation}
\input{evaluation}
\input{conclusion}

%{\footnotesize 
\bibliographystyle{splncs03}
\bibliography{ref}
%}
%\balance
%\clearpage
%\input{specint}

\end{document}
